/*!-----------------------------------------------------------------------------
 * Copyright (c) Microsoft Corporation. All rights reserved.
 * monaco-languages version: 0.9.0(e162b4ba29044167bc7181c42b3270fa8a467424)
 * Released under the MIT license
 * https://github.com/Microsoft/monaco-languages/blob/master/LICENSE.md
 *-----------------------------------------------------------------------------*/
define('vs/basic-languages/src/postiats', ['require', 'exports'], function(e, t) {
  'use strict';
  Object.defineProperty(t, '__esModule', { value: !0 }),
    (t.conf = {
      comments: { lineComment: '//', blockComment: ['(*', '*)'] },
      brackets: [['{', '}'], ['[', ']'], ['(', ')'], ['<', '>']],
      autoClosingPairs: [
        { open: '"', close: '"', notIn: ['string', 'comment'] },
        { open: '{', close: '}', notIn: ['string', 'comment'] },
        { open: '[', close: ']', notIn: ['string', 'comment'] },
        { open: '(', close: ')', notIn: ['string', 'comment'] },
      ],
    }),
    (t.language = {
      tokenPostfix: '.pats',
      defaultToken: 'invalid',
      keywords: [
        'abstype',
        'abst0ype',
        'absprop',
        'absview',
        'absvtype',
        'absviewtype',
        'absvt0ype',
        'absviewt0ype',
        'as',
        'and',
        'assume',
        'begin',
        'classdec',
        'datasort',
        'datatype',
        'dataprop',
        'dataview',
        'datavtype',
        'dataviewtype',
        'do',
        'end',
        'extern',
        'extype',
        'extvar',
        'exception',
        'fn',
        'fnx',
        'fun',
        'prfn',
        'prfun',
        'praxi',
        'castfn',
        'if',
        'then',
        'else',
        'ifcase',
        'in',
        'infix',
        'infixl',
        'infixr',
        'prefix',
        'postfix',
        'implmnt',
        'implement',
        'primplmnt',
        'primplement',
        'import',
        'let',
        'local',
        'macdef',
        'macrodef',
        'nonfix',
        'symelim',
        'symintr',
        'overload',
        'of',
        'op',
        'rec',
        'sif',
        'scase',
        'sortdef',
        'sta',
        'stacst',
        'stadef',
        'static',
        'staload',
        'dynload',
        'try',
        'tkindef',
        'typedef',
        'propdef',
        'viewdef',
        'vtypedef',
        'viewtypedef',
        'prval',
        'var',
        'prvar',
        'when',
        'where',
        'with',
        'withtype',
        'withprop',
        'withview',
        'withvtype',
        'withviewtype',
      ],
      keywords_dlr: [
        '$delay',
        '$ldelay',
        '$arrpsz',
        '$arrptrsize',
        '$d2ctype',
        '$effmask',
        '$effmask_ntm',
        '$effmask_exn',
        '$effmask_ref',
        '$effmask_wrt',
        '$effmask_all',
        '$extern',
        '$extkind',
        '$extype',
        '$extype_struct',
        '$extval',
        '$extfcall',
        '$extmcall',
        '$literal',
        '$myfilename',
        '$mylocation',
        '$myfunction',
        '$lst',
        '$lst_t',
        '$lst_vt',
        '$list',
        '$list_t',
        '$list_vt',
        '$rec',
        '$rec_t',
        '$rec_vt',
        '$record',
        '$record_t',
        '$record_vt',
        '$tup',
        '$tup_t',
        '$tup_vt',
        '$tuple',
        '$tuple_t',
        '$tuple_vt',
        '$break',
        '$continue',
        '$raise',
        '$showtype',
        '$vcopyenv_v',
        '$vcopyenv_vt',
        '$tempenver',
        '$solver_assert',
        '$solver_verify',
      ],
      keywords_srp: [
        '#if',
        '#ifdef',
        '#ifndef',
        '#then',
        '#elif',
        '#elifdef',
        '#elifndef',
        '#else',
        '#endif',
        '#error',
        '#prerr',
        '#print',
        '#assert',
        '#undef',
        '#define',
        '#include',
        '#require',
        '#pragma',
        '#codegen2',
        '#codegen3',
      ],
      irregular_keyword_list: [
        'val+',
        'val-',
        'val',
        'case+',
        'case-',
        'case',
        'addr@',
        'addr',
        'fold@',
        'free@',
        'fix@',
        'fix',
        'lam@',
        'lam',
        'llam@',
        'llam',
        'viewt@ype+',
        'viewt@ype-',
        'viewt@ype',
        'viewtype+',
        'viewtype-',
        'viewtype',
        'view+',
        'view-',
        'view@',
        'view',
        'type+',
        'type-',
        'type',
        'vtype+',
        'vtype-',
        'vtype',
        'vt@ype+',
        'vt@ype-',
        'vt@ype',
        'viewt@ype+',
        'viewt@ype-',
        'viewt@ype',
        'viewtype+',
        'viewtype-',
        'viewtype',
        'prop+',
        'prop-',
        'prop',
        'type+',
        'type-',
        'type',
        't@ype',
        't@ype+',
        't@ype-',
        'abst@ype',
        'abstype',
        'absviewt@ype',
        'absvt@ype',
        'for*',
        'for',
        'while*',
        'while',
      ],
      keywords_types: [
        'bool',
        'double',
        'byte',
        'int',
        'short',
        'char',
        'void',
        'unit',
        'long',
        'float',
        'string',
        'strptr',
      ],
      keywords_effects: ['0', 'fun', 'clo', 'prf', 'funclo', 'cloptr', 'cloref', 'ref', 'ntm', '1'],
      operators: [
        '@',
        '!',
        '|',
        '`',
        ':',
        '$',
        '.',
        '=',
        '#',
        '~',
        '..',
        '...',
        '=>',
        '=<>',
        '=/=>',
        '=>>',
        '=/=>>',
        '<',
        '>',
        '><',
        '.<',
        '>.',
        '.<>.',
        '->',
        '-<>',
      ],
      brackets: [
        { open: ',(', close: ')', token: 'delimiter.parenthesis' },
        { open: '`(', close: ')', token: 'delimiter.parenthesis' },
        { open: '%(', close: ')', token: 'delimiter.parenthesis' },
        { open: "'(", close: ')', token: 'delimiter.parenthesis' },
        { open: "'{", close: '}', token: 'delimiter.parenthesis' },
        { open: '@(', close: ')', token: 'delimiter.parenthesis' },
        { open: '@{', close: '}', token: 'delimiter.brace' },
        { open: '@[', close: ']', token: 'delimiter.square' },
        { open: '#[', close: ']', token: 'delimiter.square' },
        { open: '{', close: '}', token: 'delimiter.curly' },
        { open: '[', close: ']', token: 'delimiter.square' },
        { open: '(', close: ')', token: 'delimiter.parenthesis' },
        { open: '<', close: '>', token: 'delimiter.angle' },
      ],
      symbols: /[=><!~?:&|+\-*\/\^%]+/,
      IDENTFST: /[a-zA-Z_]/,
      IDENTRST: /[a-zA-Z0-9_'$]/,
      symbolic: /[%&+-./:=@~`^|*!$#?<>]/,
      digit: /[0-9]/,
      digitseq0: /@digit*/,
      xdigit: /[0-9A-Za-z]/,
      xdigitseq0: /@xdigit*/,
      INTSP: /[lLuU]/,
      FLOATSP: /[fFlL]/,
      fexponent: /[eE][+-]?[0-9]+/,
      fexponent_bin: /[pP][+-]?[0-9]+/,
      deciexp: /\.[0-9]*@fexponent?/,
      hexiexp: /\.[0-9a-zA-Z]*@fexponent_bin?/,
      irregular_keywords: /val[+-]?|case[+-]?|addr\@?|fold\@|free\@|fix\@?|lam\@?|llam\@?|prop[+-]?|type[+-]?|view[+-@]?|viewt@?ype[+-]?|t@?ype[+-]?|v(iew)?t@?ype[+-]?|abst@?ype|absv(iew)?t@?ype|for\*?|while\*?/,
      ESCHAR: /[ntvbrfa\\\?'"\(\[\{]/,
      start: 'root',
      tokenizer: {
        root: [
          { regex: /[ \t\r\n]+/, action: { token: '' } },
          { regex: /\(\*\)/, action: { token: 'invalid' } },
          { regex: /\(\*/, action: { token: 'comment', next: 'lexing_COMMENT_block_ml' } },
          { regex: /\(/, action: '@brackets' },
          { regex: /\)/, action: '@brackets' },
          { regex: /\[/, action: '@brackets' },
          { regex: /\]/, action: '@brackets' },
          { regex: /\{/, action: '@brackets' },
          { regex: /\}/, action: '@brackets' },
          { regex: /,\(/, action: '@brackets' },
          { regex: /,/, action: { token: 'delimiter.comma' } },
          { regex: /;/, action: { token: 'delimiter.semicolon' } },
          { regex: /@\(/, action: '@brackets' },
          { regex: /@\[/, action: '@brackets' },
          { regex: /@\{/, action: '@brackets' },
          { regex: /:</, action: { token: 'keyword', next: '@lexing_EFFECT_commaseq0' } },
          { regex: /\.@symbolic+/, action: { token: 'identifier.sym' } },
          { regex: /\.@digit*@fexponent@FLOATSP*/, action: { token: 'number.float' } },
          { regex: /\.@digit+/, action: { token: 'number.float' } },
          {
            regex: /\$@IDENTFST@IDENTRST*/,
            action: {
              cases: {
                '@keywords_dlr': { token: 'keyword.dlr' },
                '@default': { token: 'namespace' },
              },
            },
          },
          {
            regex: /\#@IDENTFST@IDENTRST*/,
            action: {
              cases: {
                '@keywords_srp': { token: 'keyword.srp' },
                '@default': { token: 'identifier' },
              },
            },
          },
          { regex: /%\(/, action: { token: 'delimiter.parenthesis' } },
          {
            regex: /^%{(#|\^|\$)?/,
            action: { token: 'keyword', next: '@lexing_EXTCODE', nextEmbedded: 'text/javascript' },
          },
          { regex: /^%}/, action: { token: 'keyword' } },
          { regex: /'\(/, action: { token: 'delimiter.parenthesis' } },
          { regex: /'\[/, action: { token: 'delimiter.bracket' } },
          { regex: /'\{/, action: { token: 'delimiter.brace' } },
          [/(')(\\@ESCHAR|\\[xX]@xdigit+|\\@digit+)(')/, ['string', 'string.escape', 'string']],
          [/'[^\\']'/, 'string'],
          [/"/, 'string.quote', '@lexing_DQUOTE'],
          { regex: /`\(/, action: '@brackets' },
          { regex: /\\/, action: { token: 'punctuation' } },
          { regex: /@irregular_keywords(?!@IDENTRST)/, action: { token: 'keyword' } },
          {
            regex: /@IDENTFST@IDENTRST*[<!\[]?/,
            action: {
              cases: {
                '@keywords': { token: 'keyword' },
                '@keywords_types': { token: 'type' },
                '@default': { token: 'identifier' },
              },
            },
          },
          { regex: /\/\/\/\//, action: { token: 'comment', next: '@lexing_COMMENT_rest' } },
          { regex: /\/\/.*$/, action: { token: 'comment' } },
          { regex: /\/\*/, action: { token: 'comment', next: '@lexing_COMMENT_block_c' } },
          { regex: /-<|=</, action: { token: 'keyword', next: '@lexing_EFFECT_commaseq0' } },
          {
            regex: /@symbolic+/,
            action: { cases: { '@operators': 'keyword', '@default': 'operator' } },
          },
          {
            regex: /0[xX]@xdigit+(@hexiexp|@fexponent_bin)@FLOATSP*/,
            action: { token: 'number.float' },
          },
          { regex: /0[xX]@xdigit+@INTSP*/, action: { token: 'number.hex' } },
          { regex: /0[0-7]+(?![0-9])@INTSP*/, action: { token: 'number.octal' } },
          { regex: /@digit+(@fexponent|@deciexp)@FLOATSP*/, action: { token: 'number.float' } },
          { regex: /@digit@digitseq0@INTSP*/, action: { token: 'number.decimal' } },
          { regex: /@digit+@INTSP*/, action: { token: 'number' } },
        ],
        lexing_COMMENT_block_ml: [
          [/[^\(\*]+/, 'comment'],
          [/\(\*/, 'comment', '@push'],
          [/\(\*/, 'comment.invalid'],
          [/\*\)/, 'comment', '@pop'],
          [/\*/, 'comment'],
        ],
        lexing_COMMENT_block_c: [
          [/[^\/*]+/, 'comment'],
          [/\*\//, 'comment', '@pop'],
          [/[\/*]/, 'comment'],
        ],
        lexing_COMMENT_rest: [[/$/, 'comment', '@pop'], [/.*/, 'comment']],
        lexing_EFFECT_commaseq0: [
          {
            regex: /@IDENTFST@IDENTRST+|@digit+/,
            action: {
              cases: {
                '@keywords_effects': { token: 'type.effect' },
                '@default': { token: 'identifier' },
              },
            },
          },
          { regex: /,/, action: { token: 'punctuation' } },
          { regex: />/, action: { token: '@rematch', next: '@pop' } },
        ],
        lexing_EXTCODE: [
          { regex: /^%}/, action: { token: '@rematch', next: '@pop', nextEmbedded: '@pop' } },
          { regex: /[^%]+/, action: '' },
        ],
        lexing_DQUOTE: [
          { regex: /"/, action: { token: 'string.quote', next: '@pop' } },
          {
            regex: /(\{\$)(@IDENTFST@IDENTRST*)(\})/,
            action: [
              { token: 'string.escape' },
              { token: 'identifier' },
              { token: 'string.escape' },
            ],
          },
          { regex: /\\$/, action: { token: 'string.escape' } },
          { regex: /\\(@ESCHAR|[xX]@xdigit+|@digit+)/, action: { token: 'string.escape' } },
          { regex: /[^\\"]+/, action: { token: 'string' } },
        ],
      },
    });
});
